class ExtensionNoHighlighting implements MyExtension { }